Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
361	PDF Document Add to Reading List Source URL: scholar.lib.vt.edu Language: English - Date: 2012-03-31 10:17:14 Software development Specification Formal specification Modeling language Software development process Java Modeling Language Verification and validation Data model Service-oriented architecture Science Formal methods Technology
362	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican an Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2013-06-12 10:51:30 Applied mathematics Computer science Model checking Formal verification Finite-state machine Deterministic finite automaton Automated planning and scheduling Uppaal Model Checker Clock Models of computation Automata theory Theoretical computer science
363	PDF Document Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2013-01-17 10:39:14 Verification and validation Software testing Validation Windows Script Host System software Software Science Pharmaceutical industry Validity Windows Registry
364	PDF Document Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:52:52 Validity System software Clinical research Quality Validation Dynamic-link library Software testing Verification and validation Windows Registry Computing Software Pharmaceutical industry
365	PDF Document Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:52:12 Clinical research Quality Validation Dynamic-link library Software testing Evaluation Assurance Level Verification and validation Windows Registry Computing Pharmaceutical industry Validity System software
366	PDF Document Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 14:03:04 Validity System software Clinical research Quality Validation Dynamic-link library Software testing Verification and validation Windows Registry Computing Software Pharmaceutical industry
367	PDF Document Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2014-08-20 10:17:59 Verification and validation Validation Windows Registry Science Philosophy of science Evaluation Pharmaceutical industry Validity Software testing
368	ANNEX K – OUTLINE FOR THE VALIDATION AND VERIFICATION REPORTS Please find the outlines for validation reports in Table K.1. Table Add to Reading List Source URL: www.goldstandard.org Language: English - Date: 2014-03-24 08:38:50 Quality Validation Science Carbon finance Software development process Knowledge Pharmaceutical industry Validity Clinical research
369	Vademecum for the ESS Round 6 (T)VFF (Translation and) Verification Follow-up Form for countries submitting a (T)VFF for verification A Monitoring Tool for the Translation History of ESS Questionnaire Items Add to Reading List Source URL: www.europeansocialsurvey.org Language: English - Date: 2013-11-22 09:03:29 The Verifier E Software Microsoft Excel Microsoft Office
370	Sea Ice product verification and validation report OSI SAF IOP Ocean and Sea Ice SAF Product Verification and Validation Report Add to Reading List Source URL: saf.met.no Language: English - Date: 2010-04-08 06:21:37 Systems engineering Science Meteorology Food safety Software quality Validation HIRLAM Verification and validation Verification Atmospheric sciences Pharmaceutical industry Validity

UPDATE